مبرهنة ثيفينين في الصينية

• 戴维南定理

• مبرهنة    定理
• مبرهنة لينيك    林尼克定理
• مبرهنة كوك وليفين    cook-levin理论